/home/correa/workspace/pargo-instances/clique/dimacs/C125.9.clq
Found incumbent of value 0.000000 after 0.00 sec. (0.01 ticks)
Tried aggregator 1 time.
MIP Presolve eliminated 0 rows and 1 columns.
Reduced MIP has 519 rows, 644 columns, and 1704 nonzeros.
Reduced MIP has 125 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.00 sec. (0.68 ticks)
Probing time = 0.00 sec. (0.41 ticks)
Tried aggregator 1 time.
Presolve time = 0.00 sec. (0.69 ticks)
Probing time = 0.00 sec. (0.41 ticks)
Clique table members: 520.
MIP emphasis: balance optimality and feasibility.
MIP search method: traditional branch-and-cut.
Parallel mode: none, using 1 thread.
Root relaxation solution time = 0.01 sec. (6.80 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap         Variable B NodeID Parent  Depth

*     0+    0                            0.0000      125.0000      300     --- 
      0     0       45.4038   125        0.0000       45.4038      300     --- 
*     0+    0                           30.0000       45.4038      300   51.35%
      0     0       44.8240   125       30.0000      User: 24      370   49.41%
*     0+    0                           32.0000       44.8240      370   40.07%
      0     0       43.6794   125       32.0000      Cuts: 48      468   36.50%
      0     0       42.8526   125       32.0000      Cuts: 47      571   33.91%
      0     0       42.4126   124       32.0000      Cuts: 36      657   32.54%
*     0+    0                           33.0000       42.4126      657   28.52%
      0     0       42.2166   125       33.0000      Cuts: 28      720   27.93%
      0     0       41.9091   125       33.0000      Cuts: 30      783   27.00%
      0     0       41.5699   124       33.0000      Cuts: 22      862   25.97%
      0     0       41.3586   124       33.0000      Cuts: 20      923   25.33%
*     0+    0                           34.0000       41.3586      923   21.64%
      0     0       41.2749   124       34.0000      Cuts: 17      972   21.40%
      0     0       41.1956   126       34.0000      Cuts: 28     1034   21.16%
      0     0       41.1267   126       34.0000      Cuts: 18     1080   20.96%
      0     0       41.0018   126       34.0000      Cuts: 24     1127   20.59%
      0     0       40.9261   126       34.0000      Cuts: 26     1163   20.37%
      0     0       40.8434   126       34.0000      Cuts: 13     1213   20.13%
      0     0       40.8207   125       34.0000 UserPurge2: 8     1240   20.06%
      0     0       40.8061   126       34.0000 UserPurge2: 8     1273   20.02%
      0     0       40.7987   126       34.0000       Cuts: 5     1288   20.00%
      0     0       40.7808   126       34.0000      Cuts: 12     1319   19.94%
      0     0       40.7682   126       34.0000 UserPurge2: 9     1356   19.91%
      0     0       40.7458   126       34.0000      Cuts: 16     1391   19.84%
      0     0       40.7194   126       34.0000      Cuts: 12     1433   19.76%
      0     0       40.7080   126       34.0000 UserPurge2: 8     1450   19.73%
      0     0       40.6685   126       34.0000 UserPurge2: 4     1489   19.61%
      0     0       40.6454   125       34.0000 UserPurge2: 11     1528   19.55%
      0     0       40.6348   125       34.0000 UserPurge2: 7     1548   19.51%
      0     0       40.5966   126       34.0000 UserPurge2: 10     1581   19.40%
      0     0       40.5912   126       34.0000       Cuts: 6     1601   19.39%
      0     0       40.5778   126       34.0000 UserPurge2: 2     1625   19.35%
      0     0       40.5672   125       34.0000 UserPurge2: 9     1642   19.32%
      0     0       40.5246   126       34.0000       Cuts: 7     1689   19.19%
      0     0       40.4931   126       34.0000 UserPurge2: 12     1723   19.10%
      0     0       40.4773   125       34.0000      Cuts: 12     1746   19.05%
      0     0       40.4683   126       34.0000 UserPurge2: 7     1765   19.02%
      0     0       40.4661   125       34.0000 UserPurge2: 4     1783   19.02%
      0     0       40.4545   126       34.0000 UserPurge2: 5     1805   18.98%
      0     0       40.4533   126       34.0000 UserPurge2: 3     1821   18.98%
      0     0       40.4502   125       34.0000       Cuts: 7     1832   18.97%
      0     0       40.4329   126       34.0000 UserPurge2: 5     1859   18.92%
      0     0       40.4311   126       34.0000       Cuts: 5     1871   18.92%
      0     0       40.4154   125       34.0000       Cuts: 9     1901   18.87%
      0     0       40.3995   126       34.0000      Cuts: 11     1928   18.82%
      0     0       40.3928   126       34.0000 UserPurge2: 4     1948   18.80%
      0     0       40.3831   126       34.0000 UserPurge2: 6     1966   18.77%
      0     0       40.3826   126       34.0000       Cuts: 5     1972   18.77%
      0     0       40.3672   126       34.0000 UserPurge2: 2     2002   18.73%
      0     0       40.3585   126       34.0000       Cuts: 9     2023   18.70%
      0     0       40.3392   126       34.0000 UserPurge2: 8     2053   18.64%
      0     0       40.3276   126       34.0000 UserPurge2: 11     2075   18.61%
      0     0       40.3213   126       34.0000 UserPurge2: 5     2098   18.59%
      0     0       40.3127   125       34.0000 UserPurge2: 5     2120   18.57%
      0     0       40.3053   125       34.0000 UserPurge2: 5     2134   18.55%
      0     0       40.3015   125       34.0000 UserPurge2: 4     2148   18.53%
      0     0       40.2937   125       34.0000 UserPurge2: 6     2173   18.51%
      0     0       40.2904   125       34.0000 UserPurge2: 4     2191   18.50%
      0     0       40.2770   126       34.0000 UserPurge2: 9     2211   18.46%
      0     0       40.2661   126       34.0000 UserPurge2: 3     2225   18.43%
      0     0       40.2615   126       34.0000 UserPurge2: 3     2238   18.42%
      0     0       40.2590   126       34.0000 UserPurge2: 2     2254   18.41%
      0     0       40.2506   126       34.0000 UserPurge2: 5     2275   18.38%
      0     0       40.2433   126       34.0000 UserPurge2: 4     2297   18.36%
      0     0       40.2431   126       34.0000 UserPurge2: 4     2309   18.36%
      0     0       40.2355   126       34.0000 UserPurge2: 5     2326   18.34%
      0     0       40.2257   125       34.0000       Cuts: 7     2349   18.31%
      0     0       40.2218   126       34.0000 UserPurge2: 6     2362   18.30%
      0     2       40.2218   126       34.0000  Local Cut: 1     2362   18.30%                        0             0
Elapsed time = 5.77 sec. (6216.18 ticks, tree = 0.00 MB, solutions = 5)
      1     3       40.1018   124       34.0000       40.2218     2547   18.30%             x68 N      1      0      1
      2     4       39.8531   123       34.0000       40.2218     2786   18.30%            x102 N      2      1      2
      3     5       39.7808   121       34.0000       40.2218     2922   18.30%             x25 N      3      2      3
      5     7       39.4160   121       34.0000       40.2218     3269   18.30%             x43 N      5      4      5
      7     9       39.1292   119       34.0000       40.2218     3576   18.30%             x46 N      7      6      7
      8    10       38.8032   118       34.0000       40.2218     3740   18.30%             x12 N      8      7      8
      9    11       38.5468   116       34.0000       40.2218     4028   18.30%              x0 N      9      8      9
     10    12       38.2472   115       34.0000       40.2218     4383   18.30%            x110 N     10      9     10
     11    13       38.0791   114       34.0000       40.2218     4533   18.30%             x18 N     11     10     11
     68    62       35.2235    85       34.0000       39.8531     9304   17.21%             x75 D     68     67     21
Elapsed time = 9.14 sec. (9880.80 ticks, tree = 0.08 MB, solutions = 5)
    128   106       37.9343   108       34.0000       39.1963    14303   15.28%             x17 D    128    127      7
    188   154       35.5340    83       34.0000       38.8032    19397   14.13%             x34 D    188    187     13
    251   197       37.3851    95       34.0000       38.5468    24692   13.37%             x33 D    251    250      5
    316   242       37.1132    96       34.0000       38.3350    29205   12.75%             x37 U    316    144      8
    380   286       35.5722    88       34.0000       38.1656    32700   12.25%             x93 D    380    379      9
    450   328       37.2052   102       34.0000       38.0665    36548   11.96%              x4 U    450     11     12
    518   364       37.1984   104       34.0000       37.8277    40210   11.26%              x8 U    518     12     13
    587   397       35.8606    90       34.0000       37.7097    44339   10.91%             x90 D    587    586     13
    656   428       35.0117    91       34.0000       37.5476    48567   10.43%             x30 D    656    655     13
    726   460       35.4652    89       34.0000       37.4718    52666   10.21%             x27 D    726    725     16
Elapsed time = 16.58 sec. (19610.59 ticks, tree = 2.53 MB, solutions = 5)
    800   488       35.9207    90       34.0000       37.3586    56969    9.88%             x38 D    800    799     11
    874   518       35.0503    90       34.0000       37.2581    60671    9.58%             x56 D    874    873     18
    948   544       35.1318    89       34.0000       37.1734    64819    9.33%              x8 D    948    947     17
   1024   558       35.1250    90       34.0000       37.0173    69543    8.87%             x53 D   1024   1023     11
   1106   570       35.1943    86       34.0000       36.8873    74408    8.49%              x5 D   1106   1105     18
   1189   585       35.4996    87       34.0000       36.7403    78699    8.06%             x95 U   1189    366      7
   1269   581       35.0618    78       34.0000       36.6032    84170    7.66%             x73 D   1269   1268      7
   1357   579       35.1658    83       34.0000       36.4970    89532    7.34%             x78 D   1357   1356     13
   1448   564       35.3136    91       34.0000       36.3667    95310    6.96%             x13 D   1448   1447     19
   1540   556       35.1763    85       34.0000       36.2648   100032    6.66%             x81 U   1540    214     13
Elapsed time = 24.40 sec. (29285.10 ticks, tree = 4.05 MB, solutions = 5)
   1645   517        cutoff             34.0000       36.1072   106513    6.20%              x6 U   1645    399      9
   1760   458       35.2170    83       34.0000       35.9231   113222    5.66%             x81 N   1760    432     11
   1896   358        cutoff             34.0000       35.7246   121240    5.07%             x31 U   1896   1313     12
   2158   118        cutoff             34.0000       35.3763   134972    4.05%             x30 U   2158   1176     12

User cuts applied:  603

Root node processing (before b&c):
  Real time             =    5.75 sec. (6201.41 ticks)
Sequential b&c:
  Real time             =   22.67 sec. (27156.63 ticks)
                          ------------
Total (root+branch&cut) =   28.42 sec. (33358.05 ticks)
Solution status = Optimal
Solution value  = 34
Clique in initial model  = 519
Clique separated  = 2342
Rango separated  = 257
Rango con pesos separated  = 365
Número de nudos B&B  = 2278
Número de llamadas a PL  = 156
Buscador de cliques violadas: Russian Dolls
Buscador de cliques proyectables: Goloso
Calculador de lambda: Russian Dolls
Tipo de proyección: Clique
Tamaño máximo de clique de proyección: 3
Número de iteraciones para búsqueda de clique violada: 8
Número máximo de iteraciones de proyección sin desigualdad violada: 50
Violación mínima: 0.01
Número de vértices para grafos chicos: 50
